An ANR-PRCI project called RT-PROOFS will start in 2018, which involves the Spades project-team, MPI-SWS, TU Braunschweig, and Onera.